Not a big fan of the command name check. It's more closely related to build and perhaps --dryRun isn't bad either for the existing sandbox command. This way customers can utilize the watch nature of sandbox for builds as well.

I agree that it's more of a "build", though the check name was inspired by other projects that provide similar functionality with the intent of a sort of "preflight" task before merging changes. There is another request to provide a "diff" function and integrate cdk-nag to perform diagnostics and/or highlight best practices that I think would fit nicely with the "check" theme

https://docs.astro.build/en/reference/cli-reference/#astro-check
https://svelte.dev/docs/cli/sv-check

There is definitely overlap between check and build. We might be slightly different in the sense that we "synth" as well. We discussed offline to do an API review of this change will all the proposals.

Have you considered the option of synth too?

I was looking for both diff and synth commands as a long time user of CDK alongside Amplify gen1. Given that CDK does type checking with tsc during synth too it seems functionally similar, and perhaps nice to have consistency in naming across the two services.